Robust Real - Timeindex Concurrency Controls
نویسنده
چکیده
Real-time database systems are expected to rely heavily on indexes to speed up data access and thereby help more transactions meet their deadlines. Accordingly, high-performance index concurrency control (ICC) protocols are required to prevent contention for the index from becoming a bottleneck. We took a rst step towards achieving this objective in a recent simulation-based study that evaluated the performance of a representative set of B-tree ICC protocols for real-time applications with rm deadlines. A load-adaptive variant of the B-link protocol, called LAB-link, was found to provide the best real-time performance in that study. In this paper, we extend and improve on this prior research in several ways: First, we present a new real-time ICC protocol calledAED-link, which employs an adaptive feedback-based admission control mechanism. Our results show that it provides signi cantly better and more robust performance than LAB-link. Second, we make a detailed study of the fairness characteristics of the ICC protocols. Our results indicate that AED-link provides almost ideal fairness for a wide range of workloads. Third, we explicitly model the \undos" of index actions of aborted transactions. An unexpected and interesting result here is that performing undos usually has only marginal adverse impact on real-time performance and can, in a few scenarios, actually result in better performance. Finally, we model the performance e ects of range index operations whereas the previous study was limited to point index operations. 1
منابع مشابه
Comprehensive Concurrency Controls Classification: Achieving Reflection in Concurrent Object-Oriented Systems
The Comprehensive Scheduling Controls In most reactive/adaptive real-time systems some control over indeterminate behavior constructs is needed to realize the overall system behavior. The set of all possible concurrency and scheduling controls used by a language is termed the Comprehensive Scheduling Controls. The comprehensive concurrency controls compute what computation could/should be done ...
متن کاملUsing Separate Algorithms to Process Read-Only Transactions in Real-Time Systems
In this paper, we investigate the approach of using separate algorithms to process read-only transactions in realtime systems. A read-only transaction (ROT) is a transaction that only reads, but does not update any data item. Since there is a significant proportion of ROTs in several real-time systems, it is important to investigate how to process ROTs effectively. Using an algorithm to process...
متن کاملControlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System
We introduce a controlled concurrency framework, derived from the Owicki-Gries method, for describing a hardware interface in detail sufficient to support the modelling and verification of small, embedded operating systems (OS’s) whose run-time responsiveness is paramount. Such real-time systems run with interrupts mostly enabled, including during scheduling. That differs from many other succes...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملPerformance of Distributed Optimistic Concurrency Control in Real-Time Databases
Concurrency control is one of the main issues in the studies of real-time database systems. In this paper different distributed concurrency control methods are studied and evaluated in real-time system environment. Because optimistic concurrency control is promising candidate for real-time database systems, distributed optimistic concurrency control methods are discussed more detailed way. We p...
متن کامل